Synonyme wurden verwendet für: Formale Methode Methode
Suche ohne Synonyme: keywords:(Formale Methode)

1–20 von 38 Ergebnissen
|

    Software procurement and methods for specification and validation in the railway transportation industry

    Foschi, U. / Giuliani, M. / Morzenti, A. et al. | Tema Archiv | 2002
    Schlagwörter: formales Verfahren

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formales Verfahren

    Trustworthy spacecraft design using formal methods

    Freier Zugriff
    Nguyen, Viet Yen | TIBKAT | 2013
    Schlagwörter: Formale Methode

    Software doping – Theory and detection

    Freier Zugriff
    Biewer, Sebastian | TIBKAT | 2023
    Schlagwörter: Formale Methode

    Formal methods for safety and security : case studies for aerospace applications

    Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
    Schlagwörter: Formale Methode

    Formal methods for safety and security : case studies for aerospace applications

    Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
    Schlagwörter: Formale Methode

    FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : proceedings of [5th] Symposium FORMS/FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

    Symposium FORMS, FORMAT / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2004
    Schlagwörter: Formale Methode

    Formal methods for railway operation and control systems

    Symposium FORMS | TIBKAT | 2003
    Schlagwörter: Formale Methode

    Developing safety-critical real-time systems with SDL design patterns and components

    Fliege, I. / Geraldy, A. / Gotzhein, R. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , Methodik

    Forms '99 - formale Techniken für die Eisenbahnsicherung

    Forms / Workshop Forms | TIBKAT | 2000
    Schlagwörter: Formale Methode

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , Methodik

    Methode zur Optimierung der Migration von ETCS

    Lackhove, Christoph | Tema Archiv | 2014
    Schlagwörter: mathematische Methode , formale Sprache , formale Methode

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , formale Methode

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Methode

    Verification of cyberphysical transportation systems (intelligent transportation systems)

    Platzer, A. | Tema Archiv | 2009
    Schlagwörter: formale Verifikation , formale Methode

    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , objektorientierte Methode , formale Methode

    Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode

    Bitsch, F. / Canver, E. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , objektorientierte Methode

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , leichte formale Methode

    Cost effectiveness of formal methods in the development of avionics systems at Aerospatiale

    Pilarski, F. | Tema Archiv | 1998
    Schlagwörter: formale Methode